how to resolve a halting paradox
academia.edu·14h·
Discuss: r/programming
✓Automated Theorem Proving
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·23h·
Discuss: Hacker News, Hacker News
🏹Effect Systems
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·1d
✓Automated Theorem Proving
Building a Regex Engine
abstractsyntaxseed.com·1h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Structured (Synchronous) Concurrency
fsantanna.github.io·1d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🔍Formal Verification
You Can Build Better AI Agents in Java Than Python
medium.com·3h·
Discuss: Hacker News
🤖Program Synthesis
Lisp in 99 Lines of C With TinyLisp
hackaday.com·12h
⚙️PL Implementation
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·10h
🐫OCaml
Presheaf automata
arxiv.org·2d
➡️Category Theory
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·26m·
Discuss: Hacker News
🐫OCaml
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
🤖Program Synthesis
Simpler Category Theory
ryanbrewer.dev·57m·
Discuss: Hacker News
➡️Category Theory
Fuzzing Hardware Like Software (2021)
arxiv.org·17h·
Discuss: Hacker News
🔬Unikernels
Arc-AGI-3 Preview: 30-day learnings
arcprize.org·18h·
Discuss: Hacker News
🎮Verification Games
Encoding and Reasoning About Arrays in Set Theory
arxiv.org·2d
🔠Type-Level Programming
Clojure Async Flow Guide
clojure.github.io·2d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
SPL Lightweight Multisource Mixed Computation Practices
github.com·5h·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Subinterpreters and Asyncio
blog.changs.co.uk·4h·
Discuss: Hacker News
🐫Embedded OCaml
Stream Integration
feldera.com·1d·
Discuss: Hacker News
🏹Effect Systems